2

Using dimensions of moral intensity to predict ethical decision-making in accounting

Year:
2006
Language:
english
File:
PDF, 133 KB
english, 2006
5

Cut-Elimination: Syntax and Semantics

Year:
2014
Language:
english
File:
PDF, 306 KB
english, 2014
18

A review on metronidazole: an old warhorse in antimicrobial chemotherapy

Year:
2017
Language:
english
File:
PDF, 391 KB
english, 2017
21

On Different Concepts of Resolution

Year:
1989
Language:
english
File:
PDF, 440 KB
english, 1989
22

Cut-elimination and Redundancy-elimination by Resolution

Year:
2000
Language:
english
File:
PDF, 379 KB
english, 2000
23

Complexity of resolution proofs and function introduction

Year:
1992
Language:
english
File:
PDF, 2.23 MB
english, 1992
24

Completeness of a first-order temporal logic with time-gaps

Year:
1996
Language:
english
File:
PDF, 2.30 MB
english, 1996
25

Towards a clausal analysis of cut-elimination

Year:
2006
Language:
english
File:
PDF, 349 KB
english, 2006
26

Cut normal forms and proof complexity

Year:
1999
Language:
english
File:
PDF, 2.94 MB
english, 1999
31

Buchbesprechungen

Year:
1975
Language:
german
File:
PDF, 817 KB
german, 1975
32

Fiducial intervals for the waiting time in batch and time-sharing systems

Year:
1982
Language:
english
File:
PDF, 652 KB
english, 1982
36

Researcher of the month

Year:
2010
Language:
german
File:
PDF, 137 KB
german, 2010
41

RNA chaperone activity of the Sm-like Hfq protein

Year:
2003
Language:
english
File:
PDF, 427 KB
english, 2003
44

CERES in higher-order logic

Year:
2011
Language:
english
File:
PDF, 450 KB
english, 2011